programmation par contrat中文什么意思

• 契约式设计

• programmation:    音标：[prɔgramasjɔ̃] f. 节目安排；规划；程序设计，程序编制 f. (影视,
• par:    音标：[par] prép. 经过，通过；为，被；用，以，从；由于，出于，因为；每，逐个
• contrat:    音标：[kɔ̃tra] n.m. 合同,契约,合同文本,契约文本 contrat m.
• programmation par contraintes:    约束编程
• programmation par intention:    意图编程

例句与用法

1. Il est toujours le seul langage industriel implémentant en standard les concepts de programmation par contrat.
2. JML peut être comparé à la programmation par contrat de Eiffel et de la famille Larch.
3. On notera la présence des pré et post conditions, héritées de la programmation par contrat de Bertrand Meyer.
4. Pour une meilleure fiabilité du code, des mécanismes de programmation par contrat inspirés de la Notation Z ont été ajouté.
5. La programmation par contrat est un paradigme de programmation dans lequel le déroulement des traitements est régi par des règles.
6. Il est aussi inspiré du langage Eiffel, un langage objet à classe, pour les aspects d'ingénierie logicielle et notamment pour la programmation par contrat.
7. Historiquement, la programmation par contrat a été introduite par Bertrand Meyer dans son langage Eiffel datant de 1985, qui était inspiré de la notation Z créée par Jean-Raymond Abrial.
8. On utilise aussi les commentaires pour masquer du code, mais aussi pour préciser des contraintes ou des propriétés, notamment des préconditions, des postcondictions et des invariants comme cela se fait dans la programmation par contrat.